-
1 deductive model
Большой англо-русский и русско-английский словарь > deductive model
-
2 deductive model
Математика: дедуктивная модель -
3 deductive model
мат. -
4 deductive model
Англо-русский словарь по исследованиям и ноу-хау > deductive model
-
5 model
1) макет; модель || моделировать2) образец4) модель, тип ( изделия)5) шаблон•- countably saturated model - countably uniform model - coupled channels model - finite state model - finitely generated model - game-theory model - random trial increment model - random walk model - sampling model -
6 deductive-nomological model
Англо-русский словарь по исследованиям и ноу-хау > deductive-nomological model
-
7 дедуктивная модель
Большой англо-русский и русско-английский словарь > дедуктивная модель
-
8 approach
1) приближаться, подходить, сближаться2) близиться, наступать3) приближаться, быть почти равнымto approach stochastically — матем. сходиться по вероятности
4) приближение, наступление5) подступ; подход; подъезд6) подход; метод; способ7) матем. приближение, приближенное решение8) косм. сближение9) авиац. заход на посадку || заходить на посадкуto execute a missed approach — авиац. уйти на второй круг
to line up on the approach lights — авиац. выходить на посадочные огни
-
9 abstraction
вчт1) абстракция (1. метод познания 2. абстрагирование, использование абстракции; отвлечение 3. абстрактный объект; абстрактное понятие; абстрактные данные) || абстрактный; отвлечённый2) абстрактность; отвлечённость3) удаление; отделение; извлечение•- bracket abstraction
- data abstraction
- deductive abstraction
- functional abstraction
- generalized abstraction
- geometrical abstraction
- heuristic abstraction
- hierarchical abstraction
- identity abstraction
- iterated abstraction
- key abstraction
- lambda abstraction
- mathematical abstraction
- model abstraction
- procedural abstraction -
10 abstraction
вчт.1) абстракция (1. метод познания 2. абстрагирование, использование абстракции; отвлечение 3. абстрактный объект; абстрактное понятие; абстрактные данные) || абстрактный; отвлечённый2) абстрактность; отвлечённость3) удаление; отделение; извлечение•- bracket abstraction
- data abstraction
- deductive abstraction
- functional abstraction
- generalized abstraction
- geometrical abstraction
- heuristic abstraction
- hierarchical abstraction
- identity abstraction
- iterated abstraction
- key abstraction
- lambda abstraction
- mathematical abstraction
- model abstraction
- procedural abstractionThe New English-Russian Dictionary of Radio-electronics > abstraction
-
11 reasoning
1) рассуждение; рассуждения2) мышление3) обоснование•- bottom-up reasoning
- case-based reasoning
- commonsense reasoning
- deductive reasoning
- default reasoning
- defeasible reasoning
- enumerative reasoning
- evidential reasoning
- exact reasoning
- formal reasoning
- hypothetical reasoning
- inexact reasoning
- integrating reasoning
- meta-level reasoning
- model-based reasoning
- plausible reasoning
- procedural reasoning
- reasoning by analogy
- reflective reasoning
- spatial reasoning
- taxonomic reasoningEnglish-Russian dictionary of computer science and programming > reasoning
-
12 completeness
-
13 construction
1) сооружение, строительство3) конструкция4) матем. построение5) строение; сооружение6) структура•construction subsidized by public funds — строительство, финансируемое из общественных фондов
constructions on a stereogram — матем. построения на стереографической проекции
-
14 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory -
15 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
См. также в других словарях:
Hypothetico-deductive model — The hypothetico deductive model or method, first so named by William Whewell,[1][2] is a proposed description of scientific method. According to it, scientific inquiry proceeds by formulating a hypothesis in a form that could conceivably be… … Wikipedia
Deductive-nomological model — The deductive nomological model (or D N model) is a formalized[citation needed] view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement… … Wikipedia
Deductive-nomological — The deductive nomological (or D N) model is a formalized view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement among its premises.… … Wikipedia
Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… … Wikipedia
Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… … Wikipedia
Deductive database — It is a database system which can make deductions (i.e.: conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
model — 1. A model for a set of sentences is an interpretation under which they are all true. 2. (science) A representation of one system by another, usually more familiar, whose workings are supposed analogous to that of the first. Thus one might model… … Philosophy dictionary
Mathematical model — Not to be confused with the same term that is used in model theory, a branch of mathematical logic. An artifact that is used to illustrate a mathematical idea may also be called a mathematical model, the usage of which is the reverse of the sense … Wikipedia
Actor model later history — In computer science, the Actor model, first published in 1973 ref harvard|Hewitt|Hewitt et al. 1973| , is a mathematical model of concurrent computation. This article reports on the later history of the Actor model in which major themes were… … Wikipedia
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia